高炮武器系统杀伤边界研究

在对高炮射击特点剖析的基础上,从全航路毁伤概率的角度,提出了高炮武器系统杀伤边界的定义。修正了弹炮结合论证中导弹与高炮火力范围如何衔接的一些模糊概念,提出了更为合理的弹炮结合武器系统火力衔接准则。该准则要求导弹系统杀伤区的杀伤概率与高炮系统杀伤边界内的全航路毁伤概率应该基本匹配,导弹系统的杀伤区近界与高炮系统杀伤边界应尽量重叠。研究结论在弹炮结合论证、火力分配建模等方面都具有广泛的应用价值。     

军事供应链不确定性产生机理研究

军事供应链中不可避免地存在不确定性。构建了军事供应链不确定性产生机理的概念模型,从需求、供应、环境三个方面分析了军事供应链不确定性产生的原因,同时,对军事供应链中可能存在的各种不确定性进行了讨论,明确了加剧不确定性影响的因素是军事供应链系统的复杂性。具体表现为军事供应链成员交互关系的复杂性和军事供应链网络结构的复杂性。提出正是由于这两个原因的存在,对军事供应链的保障性能产生了巨大的影响。     

Volterra高阶核新算法在涡轮转速控制上的应用

给出了对非线性动态系统做任意精度逼近的Volterra级数高阶核的全新估算方法并将其应用于涡喷发动机的转速控制上。该方法在核函数理论基础上,构造线性空间,将求解Volterra级数各阶核的问题转化为求输出观测向量在希尔伯特空间中某一子空间上的投影的问题,使原本复杂的非线性系统的Volterra级数的逼近问题在线性空间中以向量内积的方式得到解决。与其他时域或频域估算Volterra核的方法相比较,该算法的优点在于理论体系严密、计算量不随阶数增高而成几何级数增加、辨识精度高。该方法理论上能够估算任意阶核,弥补了现有方法难以估算四阶以上核的缺点,可应用于动态系统和强非线性系统的建模。将发动机动态过程描述为四阶的Volterra级数模型。     

基于并行模拟的多核集群系统性能预测和分析

针对多核集群系统所表现出的新的性能特征,提出了面向多核集群系统消息传递应用程序的并行模拟模型并设计、实现了一个并行模拟器MCPSim(Multi-core Cluster Parallel Simulator),MCPSim在功能模型和性能模型上体现了片内核间、结点内片间以及结点间等三个层次上消息通信的特点,同时支持对应用的消息数量、通信量等的百分比分布的profiling功能,采用PRIMEJ、acobi3D、NPB IS以及HPL等Benchmark程序对MCPSim进行了测试,结果表明MCPSim性能预测的精度优于BigSim,同时能够广泛应用于针对多核集群系统消息传递应用程序的性能分析中。     

存在工作历程产品的加速寿命试验统计分析

加速寿命试验(ALT)可在较短时间内获得产品的寿命及可靠性信息.利用ALT对产品的剩余寿命进行评估时,常常将已工作过的产品进行抽样并投入试验,在这一类样本的ALT数据统计分析时如何处理初始工作时间,成为ALT应用中的一个重要问题.工程实际中评估此类样本的剩余寿命时常常忽略初始工作时间,将其视为"用后如新"或"无记忆性"产品.但此假设必须以产品寿命服从指数分布为前提,而大部分机电产品的寿命服从Weibull分布,因而该方法在应用时必然会产生较大误差.针对这一问题提出了一种新的基于时间折算的ALT数据统计分析方法,并利用Monte Carlo仿真对其估计特性进行对比研究,结果表明此方法能有效评估存在初始工作历程产品的剩余寿命,估计精度优于原方法.     

机动目标一维距离像RAT法线性化补偿

研究了机动目标宽带线性调频脉冲回波全去斜率信号模型,根据速度和加速度的调频频谱展宽特点,提出了机动目标宽带一维距离像线性化调频回波模型,给出了Radon模糊图转换(RAT)法线性参数估计与运动补偿方法,并进一步分析了测速和测距误差.仿真实验验证了RAT法一维距离像线性化参数估计与补偿,表明该方法很好地解决了运动参数未知情况下机动目标的一维距离像频谱展宽问题.     

语言型EWAA算子的目标战场价值评估

从发现的多个目标中确定打击顺序,取决于各目标的战场价值.通过定义模糊语言形式的评估标度及其运算,采用语言型EWAA算子对模糊语言偏好信息进行了集结,从而对目标战场价值进行评估,符合战场环境的复杂性和人们思维的模糊性,使指挥决策更加快速、准确.实例证明模型有效,计算简单.     

数字脉冲压缩在某型机载火控雷达中的应用

某型引进机载火控雷达为提高地图测绘的距离分辨力,采用了13位巴克码数字脉冲压缩技术.首先对这种技术在该火控雷达中实现的具体方法进行了分析,阐述了13位巴克码信号产生的过程;其次对数字式全距离脉冲压缩进行了深入研究,提出了多普勒频率补偿、信号采样叠加以及相位编码信号脉冲压缩的数学算法;最后结合飞行检验,给出了一个实际应用的例子,验证了采用这种方法,能够有效地提高地图测绘的距离分辨力.     

车辆悬挂系统的主动优化控制器设计及仿真

基于特征结构配置参数化结果,提出了车辆悬挂系统的主动优化控制器设计方法。该方法直接基于车辆悬挂系统的参数矩阵,便于工程应用。车辆悬挂系统的仿真实例表明所提主动优化控制器设计方法简单且有效。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.